Automated Reasoning – alle Bücher

Ihre Suche nach "Automated Reasoning" (Bücher) ergab 2 Treffer.

Automated Reasoning with Analytic Tableaux and Related Methods

This open access book constitutes the proceedings of the 33rd International Conference on Automated Reasoning with AnalyticTableaux and Related Methods, TABLEAUX 2025, held in Reykjavik, Iceland, during S…

lieferbar innerhalb 2-3 Wochen

Buch

EUR 43,80* Aktueller Preis: EUR 43,80

Artikel merken

In den Warenkorb

Menge ändern

Intelligent Computer Mathematics

Lecture Notes in Computer Science - Band 16136, Lecture Notes in Artificial Intelligence

This book constitutes the refereed proceedings of the 18th International Conference on Intelligent Computer Mathematics, CICM 2025, held in Brasilia, Brazil, during October 6--11, 2025.The 24 full papers …

lieferbar innerhalb 2-3 Wochen

Buch

EUR 142,37* Aktueller Preis: EUR 142,37

Artikel merken

In den Warenkorb

Menge ändern